Effective Étale-Descent Morphisms in the Category of M-ordered Sets
نویسندگان
چکیده
منابع مشابه
Effective Étale - Descent Morphisms in M - Ordered Sets Pier Giorgio
Following the results obtained in Preord and in Cat, we characterize the effective étale-descent morphisms inM -Ord, the category ofM -ordered sets for a given monoid M . Furthermore we show that in M -Ord every effective descent morphism is effective for étale-descent (while the converse is false), and we generalize it to a more general context of relational algebras.
متن کاملThe symmetric monoidal closed category of cpo $M$-sets
In this paper, we show that the category of directed complete posets with bottom elements (cpos) endowed with an action of a monoid $M$ on them forms a monoidal category. It is also proved that this category is symmetric closed.
متن کاملLimits and colimits in the category of pre-directed complete pre-ordered sets
In this paper, some categorical properties of the category { Pre-Dcpo} of all pre-dcpos; pre-ordered sets which are also pre-directed complete, with pre-continuous maps between them is considered. In particular, we characterize products and coproducts in this category. Furthermore, we show that this category is neither complete nor cocomplete. Also, epimorphisms and monomorphisms in {Pre-Dcpo} ...
متن کاملEffective Descent Morphisms in Categories of Lax Algebras
In this paper we investigate effective descent morphisms in categories of reflexive and transitive lax algebras. We show in particular that open and proper maps are effective descent, result that extends the corresponding results for the category of topological spaces and continuous maps. Introduction A morphism p : E → B in a category C with pullbacks is called effective descent if it allows a...
متن کاملA Category of Discrete Partially Ordered Sets
The most comon definition of the Poset category is incorrect. Here we present a valid categorical concept using morphisms that are “closed” and “complete”.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Applied Categorical Structures
سال: 2015
ISSN: 0927-2852,1572-9095
DOI: 10.1007/s10485-015-9412-0